$\forall$${\it as}$:Top List, $f$, $g$:Top. map($g$;map($f$;${\it as}$)) $\sim$ map($g$$\,\circ\,$$f$;${\it as}$)